Aichernig, Bernhard: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Survey on test data generation tools

Galler, Stefan J., Aichernig, Bernhard K.

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 986 KB

english, 2014

2

Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation

Aichernig, Bernhard K., Jöbstl, Elisabeth, Tappler, Martin

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 1.99 MB

english, 2016

3

Connectors as designs: Modeling, refinement and test case generation

Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lăcrămioara Aştefănoaei, Frank S. de Boer, Jan Rutten

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 434 KB

english, 2012

4

[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Towards integrating statistical model checking into property-based testing

Aichernig, Bernhard K., Schumi, Richard

Year:

2016

Language:

english

File:

PDF, 298 KB

english, 2016

5

[IEEE 2014 14th International Conference on Quality Software (QSIC) - Allen, TX, USA (2014.10.2-2014.10.3)] 2014 14th International Conference on Quality Software - Integration of Requirements Engineering and Test-Case Generation via OSLC

Aichernig, Bernhard K., Hormaier, Klaus, Lorber, Florian, Nickovic, Dejan, Schlick, Rupert, Simoneau, Didier, Tiran, Stefan

Year:

2014

Language:

english

File:

PDF, 1.04 MB

english, 2014

6

[IEEE 2010 10th International Conference on Quality Software (QSIC) - Zhangjiajie, China (2010.07.14-2010.07.15)] 2010 10th International Conference on Quality Software - Automated Conformance Verification of Hybrid Systems

Brandl, Harald, Weiglhofer, Martin, Aichernig, Bernhard K.

Year:

2010

Language:

english

File:

PDF, 423 KB

english, 2010

7

Property-based testing of web services by deriving properties from business-rule models

Aichernig, Bernhard K., Schumi, Richard

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 1.88 MB

english, 2017

8

[IEEE 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Shanghai, China (2016.7.17-2016.7.19)] 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) - On-the-Fly Determinization of Bounded Networks of Timed Automata

Aichernig, Bernhard K., Lorber, Florian

Year:

2016

Language:

english

File:

PDF, 267 KB

english, 2016

9

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Model-Based Testing IoT Communication via Active Automata Learning

Tappler, Martin, Aichernig, Bernhard K., Bloem, Roderick

Year:

2017

Language:

english

File:

PDF, 228 KB

english, 2017

10

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol

Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 326 KB

english, 2009

11

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Real-Time Systems Development with Duration Calculi: An Overview

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 248 KB

english, 2003

12

A Coalgebraic Semantic Framework for Component-based Development in UML

Sun Meng, Bernhard K. Aichernig, Luís S. Barbosa, Zhang Naixiao

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 326 KB

english, 2005

13

Mutation Testing in the Refinement Calculus

Bernhard K. Aichernig

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 171 KB

english, 2003

14

Probabilistic black-box reachability checking (extended version)

Aichernig, Bernhard K., Tappler, Martin

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 849 KB

english, 2019

15

Improving Fault-based Conformance Testing

Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 441 KB

english, 2008

16

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

Jöbstl, Elisabeth, Weiglhofer, Martin, Aichernig, Bernhard K., Wotawa, Franz

Year:

2010

Language:

english

File:

PDF, 477 KB

english, 2010

17

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Property-Based Testing with External Test-Case Generators

Aichernig, Bernhard K., Marcovic, Silvio, Schumi, Richard

Year:

2017

Language:

english

File:

PDF, 507 KB

english, 2017

18

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

Aichernig, Bernhard K., Peischl, Bernhard, Weiglhofer, Martin, Wotawa, Franz

Year:

2007

Language:

english

File:

PDF, 456 KB

english, 2007

19

[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Towards generation of adaptive test cases from partial models of determinized timed automata

Aichernig, Bernhard K., Lorber, Florian

Year:

2015

Language:

english

File:

PDF, 400 KB

english, 2015

20

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6957 || Testing Real-Time Systems under Uncertainty

Aichernig, Bernhard K., de Boer, Frank S., Bonsangue, Marcello M.

Year:

2012

Language:

english

File:

PDF, 423 KB

english, 2012

21

[Lecture Notes in Computer Science] Tests and Proofs Volume 9762 ||

Aichernig, Bernhard K., Furia, Carlo A.

Year:

2016

Language:

english

File:

PDF, 9.29 MB

english, 2016

22

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Automata Learning for Symbolic Execution

Aichernig, Bernhard K., Bloem, Roderick, Ebrahimi, Masoud, Tappler, Martin, Winter, Johannes

Year:

2018

File:

PDF, 9 KB

2018

23

Contract-based Mutation Testing in the Refinement Calculus

Bernhard K. Aichernig

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 41 KB

english, 2002

24

Mutation testing in UTP

Bernhard K. Aichernig, He Jifeng

Journal:

Formal Aspects of Computing

Year:

2009

Language:

english

File:

PDF, 561 KB

english, 2009

25

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6957 || Automated Verification of Executable UML Models

Aichernig, Bernhard K., Boer, Frank S., Bonsangue, Marcello M.

Year:

2012

Language:

english

File:

PDF, 545 KB

english, 2012

26

Test Case Generation by Contract Mutation in Spec#

Willibald Krenn, Bernhard K. Aichernig

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 307 KB

english, 2009

27

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Statistical Model Checking Meets Property-Based Testing

Aichernig, Bernhard K., Schumi, Richard

Year:

2017

Language:

english

File:

PDF, 251 KB

english, 2017

28

Efficient Active Automata Learning via Mutation Testing

Aichernig, Bernhard K., Tappler, Martin

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 929 KB

english, 2018

29

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Integrating Model-Based Testing and Analysis Tools via Test Case Exchange

Aichernig, Bernhard K., Lorber, Florian, Tiran, Stefan

Year:

2012

Language:

english

File:

PDF, 440 KB

english, 2012

30

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Efficient Mutation Killers in Action

Aichernig, Bernhard K., Brandl, Harald, Jöbstl, Elisabeth, Krenn, Willibald

Year:

2011

Language:

english

File:

PDF, 446 KB

english, 2011

31

Preface

Bernhard Aichernig, Eerke Boiten, John Derrick, Lindsay Groves

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 73 KB

english, 2007

32

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Fault-Based Test Case Generation for Component Connectors

Aichernig, Bernhard K., Arbab, Farhad, Astefanoaei, Lacramioara, Boer, Frank S. de, Sun, Meng, Rutten, Jan

Year:

2009

Language:

english

File:

PDF, 354 KB

english, 2009

33

[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - Test purpose generation in an industrial application

Aichernig, Bernhard K., Weiglhofer, Martin, Peischl, Bernhard, Wotawa, Franz

Year:

2007

Language:

english

File:

PDF, 558 KB

english, 2007

34

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 325 KB

english, 2010

35

Refinement and Test Case Generation in UTP

Bernhard K. Aichernig, Jifeng He

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 333 KB

english, 2007

36

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Verification by Abstraction

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 213 KB

english, 2003

37

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - MoMut::UML Model-Based Mutation Testing for UML

Krenn, Willibald, Schlick, Rupert, Tiran, Stefan, Aichernig, Bernhard, Jobstl, Elisabeth, Brandl, Harald

Year:

2015

Language:

english

File:

PDF, 370 KB

english, 2015

38

[Lecture Notes in Computer Science] Tests and Proofs Volume 9762 || Using Formal Methods for Verification and Validation in Railway

Aichernig, Bernhard K., Furia, Carlo A.

Year:

2016

Language:

english

File:

PDF, 602 KB

english, 2016

39

Learning and statistical model checking of system response times

Aichernig, Bernhard K., Bauerstätter, Priska, Jöbstl, Elisabeth, Kann, Severin, Korošec, Robert, Krenn, Willibald, Mateis, Cristinel, Schlick, Rupert, Schumi, Richard

Journal:

Software Quality Journal

Year:

2019

Language:

english

File:

PDF, 3.96 MB

english, 2019

40

[IEEE 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Xi'an, China (2019.4.22-2019.4.23)] 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Programming Behavioral Test Models for SMT Solving in Scala

Aichernig, Bernhard K., Maderbacher, Benedikt, Tiran, Stefan

Year:

2019

Language:

english

File:

PDF, 243 KB

english, 2019

41

When Model-based Testing Fails

Bernhard K. Aichernig, Chris George

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 291 KB

english, 2006

42

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints

Aichernig, Bernhard K., Jobstl, Elisabeth

Year:

2012

Language:

english

File:

PDF, 191 KB

english, 2012

43

Resource Modeling for Timed Creol Models

Rudolf Schlatte, Bernhard Aichernig, Andreas Griesmayer, Marcel Kyas

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 283 KB

english, 2010

44

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Real-Time Process Algebra and Its Applications

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 763 KB

english, 2003

45

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Making Timed Automata Communicate

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 278 KB

english, 2003

46

Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers

Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 306 KB

english, 2007

47

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || A Tool Architecture for the Next Generation of Uppaal

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 297 KB

english, 2003

48

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

Bernhard K. Aichernig, Harald Brandl, Franz Wotawa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 611 KB

english, 2009

49

Software engineering and formal methods

Bernhard Aichernig, Bernhard Beckert

Journal:

Software & Systems Modeling

Year:

2008

Language:

english

File:

PDF, 66 KB

english, 2008

50

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Generating Distinguishing Tests Using the Minion Constraint Solver

Wotawa, Franz, Nica, Mihai, Aichernig, Bernhard K.

Year:

2010

Language:

english

File:

PDF, 181 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски